Zimmerova, I.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Component Substitutability via Equivalencies of Component-Interaction Automata

Ivana Černá, Pavlína Vařeková, Barbora Zimmerova

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 459 KB

english, 2007

2

CLASSIFICATION AND EVALUATION OF STRAWBERRIES-GENOTYPES ON COMPUTERS WITH UTILIZATION OF PICTURE-DOCUMENTATION

Brindza, J., Skulcova, E., Balogh, Z., Zimmerova, J., Minarik, L., Sladecka, M., Kevely, J.

Journal:

Acta Horticulturae

Year:

1993

File:

PDF, 619 KB

1993

3

[ACM Press the 2007 conference - Dubrovnik, Croatia (2007.09.03-2007.09.04)] Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07 - Effective verification of systems with a dynamic number of components

Vařeková, Pavlína, Moravec, Pavel, Černá, Ivana, Zimmerova, Barbora

Year:

2007

Language:

english

File:

PDF, 557 KB

english, 2007

4

[ACM Press the 2007 conference - Dubrovnik, Croatia (2007.09.03-2007.09.04)] Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07 - Subject-observer specification with component-interaction automata

Vařeková, Pavlína, Zimmerova, Barbora

Year:

2007

Language:

english

File:

PDF, 386 KB

english, 2007

5

Component-interaction automata as a verification-oriented component-based system specification

Brim, Luboš, Černá, Ivana, Vařeková, Pavlína, Zimmerova, Barbora

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2006

Language:

english

File:

PDF, 181 KB

english, 2006

6

[ACM Press the 2005 conference - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 - Component-interaction automata as a verification-oriented component-based system specification

Brim, Luboš, Černá, Ivana, Vařeková, Pavlína, Zimmerova, Barbora

Year:

2005

Language:

english

File:

PDF, 181 KB

english, 2005

7

Formal verification of systems with an unlimited number of components

Varekova, P., Zimmerova, B., Moravec, P., Cerna, I.

Journal:

Year:

2008

Language:

english

File:

PDF, 470 KB

english, 2008

8

A Case Study in Parallel Verification of Component-Based Systems

N. Beneš, I. Černá, J. Sochor, P. Vařeková, B. Zimmerova

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 453 KB

english, 2008

9

Preface

Jens Happe, Barbora Zimmerová

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 95 KB

english, 2009

10

Pregnancy in homozygous familial hypercholesterolemia – a successful case

Blaha, M., Lanska, M., Boudys, L., Blaha, V., Zimmerova, I.

Journal:

Year:

2013

Language:

english

File:

PDF, 53 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски